$x$:$A$ $\times$ $B$($x$) \textbf{is Primitive}